Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🧮Haskell
Flag this post
essential spectrum
ncatlab.org·2d
🧮Haskell
Flag this post
NOV. 13th COLLOQUIUM: Sheldon Katz (University of Illinois at Urbana-Champaign)
math.columbia.edu·6h
🧮Haskell
Flag this post
The Downside of Anthropomorphizing
funcall.blogspot.com·12h·
Discuss: www.blogger.com
🤖AI
Flag this post
Generalized Witt and Morita equivalences
arxiv.org·1d
🧮Haskell
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·4h·
Discuss: Hacker News
🧮Haskell
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🧮Haskell
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
🧮Haskell
Flag this post
r/mathematics
reddit.com·2d·
Discuss: r/mathematics
🧮Haskell
Flag this post
My query languages library pivot
dev.to·6h·
Discuss: DEV
🧮Haskell
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·15h·
Discuss: Hacker News
🤖AI
Flag this post
PCT quantum symmetries -- section
ncatlab.org·7h
🧮Haskell
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🧮Haskell
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
🔷C#
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
bsky.app·7h·
Discuss: Bluesky
🧮Haskell
Flag this post
Kant: Leave people better than you found them
en.wikipedia.org·14h·
Discuss: Hacker News
🧮Haskell
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🧮Haskell
Flag this post
postrationality annotated bibliography
jenn.site·15h
🎲Bayesian Stats
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·1d·
Discuss: r/programming
🧮Haskell
Flag this post
<p>**Abstract:** This research introduces a novel framework, the Automated Knowledge Graph Augmentation and Validation System (AKG-AVS), for dynamically expandi...
freederia.com·56m
📊R
Flag this post